﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NetalBase.Base;
using NetalBase.Exceptions;

namespace RmProto.Automata.CRA
{
	public delegate void z_CR_fin(object result);

	public delegate void z_CR_e(string errorMessage);

	public interface ICRA
	{
		void e_CR_cc();
		void e_CR_fc();
		void e_CR_init(IA.IA i);
		void e_CR_p();
		void e_CR_s();
		void e_CR_r();
		void e_CR_es();
		event z_CR_fin z_CR_fin;
		event z_CR_e z_CR_e;
	}	
}
